<?php
class PreFormatted extends CoreTagWithLang {
	protected $width;

	public function __construct() {
		parent::__construct("pre");
		$this->width="";
		$this->attributeNames=array_merge($this->attributeNames,array('width'));
		$this->attributeValues=array_merge($this->attributeValues,array(''));
	}

	public function setWidth($_width) {
		$this->width=(string)$_width;
		$this->setAttribute('width',$_width);
	}
	public function getWidth() {
		return $this->width;
	}

}
?>